Compressing Binary Decision Diagrams

The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the BDD to 1-2 bits per node. Empirical results for our compression technique are presented, including comparisons with previously introduced techniques, showing that the new technique dominate on all tested instances.Comment: Full (tech-report) version of ECAI 2008 short pape

Managing expectations by projecting the future school : Observing the Nordic future school reports via temporal topologies

This study focuses on the politics of time in education by analysing 'The Future School' reports published by Nordic state authorities between 2010 and 2015. Building on a system-theoretical understanding of social time, steering and second-order observations, we investigate how temporal political communication frames the future of Nordic basic education. By applying semantic analysis, we identified four temporal topologies according to which these reports deal with the future: (a) calculated futures based on future projections with numbers; (b) unpredictable futures based on future projections contrasting learning with adaptivity; (c) technology-determined futures; and (d) personalised futures based on child well-being. Whereas these topologies constitute a shared semantical base for discussing the future of school education, a comparison of the reports also reveals differences and paradoxes between the temporal topologies in the Nordic welfare state context.Peer reviewe

Gender matters: male and female ECEC practitioners’ perceptions and practices regarding children's rough-and-tumble play (R&T)

The aim of this study was to explore Norwegian early childhood education and care (ECEC) practitioners’ perceptions and practices regarding children’s indoor and outdoor rough-and-tumble play (R&T) from a gender perspective. A questionnaire and semi-structured interviews were used together in a mixed method design to provide quantitative data of patterns among a larger group of ECEC practitioners, as well as to gather greater in-depth insights on ECEC practitioners’ attitudes, thoughts and actions concerning children’s R&T. The results of the study showed that ECEC practitioners acknowledged both positive and negative sides of R&T; that they allowed this kind of play significantly more in outdoor environments than indoors, and that R&T often produced uncertainty and a need for control by the practitioners. The most surprising result from the questionnaire was the lack of gender differences in allowing children’s R&T in ECEC. However, the interviews revealed that although a basic difference in attitudes between male and female practitioners originally existed, female practitioners changed their attitudes and practices towards R&T as a result of gaining more knowledge and experience of this play through their male colleagues. In addition, a high consciousness of trying to adopt common understandings, rules and practices regarding R&T also contributed to a change of attitudes.acceptedVersio

Condition monitoring and maintenance for fibre rope moorings in offshore wind

The FIRM project aims to develop innovative mooring systems for floating wind farms based on fibre ropes, including new and more efficient methods for installation, condition monitoring, maintenance, and decommissioning. The project shall deliver designs for three different mooring systems. This document describes the contents of work package H7 in the FIRM project,publishedVersio

På vej mod en målbevidst målstyret kompetenceorienteret matematikundervisning

Abstract: The purpose of this article is to provide insight into the potential and challenges in planning, implementing and evaluating a goal-oriented competence-based mathematics teaching. Based on an ongoing PhD project, analysis from the project will be introduced as a basis for reflecting upon the hindrances of exemplary character identified during a longitudinal experimental teaching in Grade 5 and 6.Resume: Artiklen har til formål at give indblik i potentialer og udfordringer ved at planlægge, gennemføre og evaluere en målstyret kompetenceorienteret matematikundervisning. Med afsæt i et igangværende ph.d.-projekt vil en del af projektets analyser blive præsenteret som udgangspunkt for at kunne forholde sig til de hindringer af eksemplarisk karakter, som er identificeret i forbindelse med en længerevarende forsøgsundervisning i 5.- og 6. klasse